Creating Logic Puzzles
نویسنده
چکیده
A logic puzzle is a form of entertainment that asks the solver to infer relationships between objects given a set a clues. Each clue is a portion of the solution. A good puzzle is one that is challenging one that that requires the solver to make difficult inferences to realize each part of the solution. My goal was to find an algorithm that, given a solution to a puzzle, would generate a set of clues that would make the puzzle difficult for a person to solve. In this paper, I describe the logic puzzle domain, present the algorithm I designed and compare the puzzles it created with previously published puzzles.
منابع مشابه
Generating Cellular Puzzles with Logic Programs
We show how to characterize puzzles by logic programs and how to use those characterizations to build puzzles automatically. We can control the difficulty level of the puzzles by choosing how and when to invoke the logic program.
متن کاملAutomated generation and visualization of picture-logic puzzles
A picture-logic puzzle is a game that takes the form of an N M grid, with numbers situated on the left of its rows and on the top of its columns, which give the clues for solving the puzzle. These puzzles have gained popularity in the last years all over the world, and there are companies involved in the commercialization of products related to them, mainly magazines, on-line puzzles via the we...
متن کاملAn Integer Programming Model for the Sudoku Problem
Sudoku is the new craze in logic puzzles. Players must fill in an n × n matrix, which contains some given entries, so that each row, column, and m ×m submatrix contains each integer 1 through n exactly once. Two issues associated with these puzzles interest us mathematically: puzzle solution and puzzle creation. A Sudoku puzzle can be solved by creating a feasibility problem where the goal is t...
متن کاملDeclaring Constraints on Object-oriented Collections
Logic puzzles such as Sudoku are described by a set of properties that a valid solution must have. Constraints are a useful technique to describe and solve for such properties. However, constraints are less suited to express imperative interactions in a user interface for logic puzzles, a domain that is more readily expressed in the objectoriented paradigm. Object constraint programming provide...
متن کاملAn Update Semantics for Promises and Other Obligation - Creating Speech Acts A Promising Start
This thesis is concerned with developing an update semantics to model the speech act of promising, under various philosophical frameworks. There are two main families of promissory framework, conventional and expectational, we offer a hybrid account which makes up for the deficiencies found with both. We also discuss promises in relation to other obligation-creating speech acts to derive a set ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001